Just Play Lax Programs