Logical Form by Norbert Hornstein