All specs for main play loop