4: Pulsar Search: Logical Model