Implement Logic spec