A definition in Logic structure of Right vs Wrong.