Zaslat SMS: Obstructions to arithmetic properties of rational points on varieties