modifed Formation.java to be more versatile; added VPusher